Abduction and Deduction in Geologic Hypermaps
نویسنده
چکیده
A geologic map is a 2-dimensional representation of an interpretation of 3-D phenomena. The work of a geologist consists mainly in (i) inferring subsurface structures from observed surface phenomena and (ii) building abductive models of events and processes that shaped them during the geologic past. In order to do this, chains of explanations are used to reconstruct the Earth history step-by-step. In this context, many interpretations may be associated with a given output. In this paper , we rst present the general contexts of geologic map manipulation and design. We then propose a framework for geologic map designers which supports multiple interpretations.
منابع مشابه
Pdf simulation abduction deduction and induction
In other words, abduction, deduction, and induction work together to explore. In recent years many Monte Carlo simulations have been.induction and abduction reasoning operators, resulting in the proposal that our. Deduction, generalized induction and generalized abduction. Have been implemented and tested within a simulation environment 5.Deduction, Quantitative and Qualitative Induction, Abduc...
متن کاملAbduction for design
This paper describes a logical design process model and in particular abduction in it. We present our model of design processes that consists of abduction, deduction, circumscription, meta-level inference, and multi-world mechanism. In this model, design is a process of re ning descriptions of design objects. Abduction generates object descriptions as a hypothesis, deduction examines validity o...
متن کاملAbduction in Non-Axiomatic Logic
This paper introduces various inference rules (deduction, abduction, and induction) in NonAxiomatic Logic. These rules are represented in a term-oriented language, and justified according to a common semantic foundation. The implementation and application of these rules are briefly described. Finally, this approach is compared with the other approaches, specially with respect to abduction.
متن کاملInverting Conditional Opinions in Subjective Logic
Subjective Logic has operators for conditional deduction and conditional abduction where subjective opinions are input arguments. With these operators traditional Bayesian reasoning can be generalised from taking only probabilistic arguments to also taking opinions as arguments, thereby allowing Bayesian modeling of situations affected by uncertainty and incomplete information. Conditional dedu...
متن کاملOn the Generalized Deduction, Induction and Abduction as the Elementary Reasoning Operators within Computational Semiotics
We first elaborate on the definition of an elementary unit of knowledge, called here knowledge unit. Then we define three knowledge operators, knowledge extraction, knowledge generation and knowledge selection, aimed at being the elementary ways of reasoning. These are compared to the traditional deduction, induction and abduction reasoning operators, resulting in the proposal that our knowledg...
متن کامل